6

Dependent types and program equivalence

Year:
2010
Language:
english
File:
PDF, 438 KB
english, 2010
7

Programming up to Congruence

Year:
2015
Language:
english
File:
PDF, 886 KB
english, 2015